Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id RAA23892
for <willy@odie.barnet.ac.uk>; Sat, 13 Jun 1998 17:52:03 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id RAA18040
for <willy@bofh.ai>; Sat, 13 Jun 1998 17:53:14 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:14956 "EHLO vger.rutgers.edu" ident: "TIMEDOUT") by nic.funet.fi with ESMTP id <10581-684>; Sat, 13 Jun 1998 19:52:54 +0300
Received: by vger.rutgers.edu id <970952-218>; Sat, 13 Jun 1998 12:53:05 -0400
Received: from post-12.mail.demon.net ([194.217.242.41]:35288 "HELO post.mail.demon.net" ident: "NO-IDENT-SERVICE[2]") by vger.rutgers.edu with SMTP id <970983-218>; Sat, 13 Jun 1998 12:49:50 -0400
Received: from (tardis.home.dave) [194.222.210.232]
by post.mail.demon.net with smtp (Exim 1.82 #2)
id 0yktTF-0004lT-00; Sat, 13 Jun 1998 17:48:01 +0100
Date: Sat, 13 Jun 1998 17:42:50 +0100 (BST)
From: Dave Gilbert <gilbertd@treblig.org>
X-Sender: gilbertd@tardis.home.dave
To: Chris Pringle <cpringle@latrigg.demon.co.uk>
cc: Linux Mailing List <linux-arm@vger.rutgers.edu>